Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC
نویسندگان
چکیده
We propose discrete time stochastic Petri box calculus extended with immediate multiactions, called dtsiPBC. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is defined via labeled discrete time stochastic Petri nets with immediate transitions (LDTSIPNs). A consistency of both semantics is demonstrated. In order to evaluate performance, the corresponding semi-Markov chains are analyzed. In a case study, performance of the shared memory system is evaluated.
منابع مشابه
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
We propose an extension with immediate multiactions of discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V. Tarasyuk. The resulting algebra dtsiPBC is a discrete time analogue of stochastic Petri Box Calculus (sPBC) with immediate multiactions, designed by H. Macià, V. Valero et al. within a continuous time domain. The step operational semantics is constructed via labeled pro...
متن کاملIteration in discrete time stochastic Petri box calculus
In the last decades, a number of stochastic enrichments of process algebras was constructed to specify stochastic processes within the well-developed framework of algebraic calculi. In [26], a continuous time stochastic extension of finite Petri box calculus (PBC) was proposed and called sPBC. The algebra sPBC has interleaving semantics due to the properties of continuous time distributions. Th...
متن کاملStochastic Petri Box Calculus with Discrete Time
In the last decades, a number of stochastic enrichments of process algebras was constructed to allow one for specification of stochastic processes within the well-developed framework of algebraic calculi. In [40], a continuous time stochastic extension of finite Petri box calculus (PBC) was proposed called sPBC. The algebra sPBC has interleaving semantics due to the properties of continuous tim...
متن کاملA congruence relation for sPBC
In this paper we define a congruence relation for regular terms of sPBC (stochastic Petri Box Calculus), by means of which we identify those processes that have the same behaviour, not only in terms of the multiactions that they can perform, but also taking into account the stochastic information that they have associated. In order to define this equivalence relation we have to define an adequa...
متن کاملDiscrete time stochastic Petri box calculus ∗ Igor
Last decade, a number of stochastic enrichments of process algebras was constructed to facilitate the specification of stochastic processes based on the the well-developed framework of algebraic calculi. In [56], a continuous time stochastic extension of finite PBC was proposed called sPBC. Algebra sPBC has interleaving semantics due to the properties of continuous time distributions. At the sa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 296 شماره
صفحات -
تاریخ انتشار 2013